Skip to content

feat(lantern): add type annotations#165

Merged
DrKJeff16 merged 5 commits into
DrKJeff16:mainfrom
sravioli:feat/lantern
May 12, 2026
Merged

feat(lantern): add type annotations#165
DrKJeff16 merged 5 commits into
DrKJeff16:mainfrom
sravioli:feat/lantern

Conversation

@sravioli

Copy link
Copy Markdown
Contributor

Source(s)


Description

Added type annotations for sravioli/lantern.wz.


Screenshots Or Code Snippets (Optional)

Can be imported with the following snippet:

---@type Lantern
local lantern = wezterm.plugin.require("https://github.com/sravioli/lantern.wz")

@sravioli sravioli requested a review from DrKJeff16 as a code owner May 11, 2026 08:20
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
Comment thread lua/wezterm/types/plugins/lantern.lua
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
Comment thread lua/wezterm/types/plugins/lantern.lua Outdated
@DrKJeff16 DrKJeff16 self-assigned this May 12, 2026
@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin. labels May 12, 2026
@DrKJeff16 DrKJeff16 moved this to In Progress in @wezterm-types Roadmap May 12, 2026
DrKJeff16 added 2 commits May 11, 2026 20:37
Signed-off-by: Guennadi Maximov C <g.maxc.fox@protonmail.com>
@DrKJeff16 DrKJeff16 added this to the v4.1.0-1 milestone May 12, 2026
@sravioli sravioli requested a review from DrKJeff16 May 12, 2026 19:35
@sravioli

Copy link
Copy Markdown
Contributor Author

I should have applied everything you suggested, if you could please review again

@DrKJeff16 DrKJeff16 left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@DrKJeff16 DrKJeff16 merged commit 9253872 into DrKJeff16:main May 12, 2026
1 check passed
@github-project-automation github-project-automation Bot moved this from In Progress to Done in @wezterm-types Roadmap May 12, 2026
@DrKJeff16 DrKJeff16 added the merged This PR has been merged successfully! label May 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request merged This PR has been merged successfully! new-types A PR addresses new data types and/or fields plugin This concerns annotations for a WezTerm plugin.

Projects

Development

Successfully merging this pull request may close these issues.

2 participants